Plan of activities on the map
نویسندگان
چکیده
Tarski-Givant's map calculus is brieey reviewed and a plan of research is outlined , aimed at investigating applications of this formalism in the theorem-proving eld. The connections between rst-order logic and the map calculus are investigated , focusing on techniques for translating single sentences from one context to the other as well as on the translation of entire set theories. Issues regarding 'safe' forms of map reasoning are singled out, in sight of possible generalizations to the database area.
منابع مشابه
Editorial: New Iranian Strategic Plan on Addiction Biology Studies Has a Clear Message for Neuroscientists “Your Help is Seriously Needed”
The fifth Iranian national congress on the biology of addiction was held in 22-24 June 2011 in Tehran University of Medical Sciences with over 100 valuable oral and poster presentations and over 300 participants. One of the main sessions of the congress was devoted to a national strategic planning and Iranian Drug Control Head Quarter (DCHQ) introducing the first national executive road map on ...
متن کاملMapping of McGraw Cycle to RUP Methodology for Secure Software Developing
Designing a secure software is one of the major phases in developing a robust software. The McGraw life cycle, as one of the well-known software security development approaches, implements different touch points as a collection of software security practices. Each touch point includes explicit instructions for applying security in terms of design, coding, measurement, and maintenance of softwar...
متن کاملDeveloping Plan of action and strategic map for "Nursing Sciences development": an experience
Developing Plan of action and strategic map for "Nursing Sciences development": an experience
متن کاملForests and rangelands? wildfire risk zoning using GIS and AHP techniques
Wildfire in forests and rangelands, apart from its initiating causes, is considered as an ecological disaster. Zoning natural areas according to their susceptibility to fire helps to put off operations and reduces catastrophic losses caused through a wise management plan. In this study, the zoning map of wildfire risk in forest and rangeland areas has been produced using GIS, Analytical Hierarc...
متن کاملPreparation of flood sensitivity map using SVM model and the impact of green city development on the increase of flood flow peak and the resulting damage
Aims: The expansion of cities, especially cities that have seen abnormal growth due to economic, social, and political changes, has caused many problems. It has been found that land-use change, especially urbanization, has greatly affected hydrological characteristics. But in most urban designs, flood forecasting is considered through the type of land use (residential, industrial, etc.) and den...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998